f633683c697788539cb875fbb38cdc9cc117a058,org.eclipse.gef.dot.ui/src/org/eclipse/gef/dot/internal/ui/Dot2ZestAttributesConverter.java,Dot2ZestAttributesConverter,convertAttributes,#Edge#Edge#,118
Before Change
// use the default arrow head decoration in case the graph is
// directed
if (GraphType.DIGRAPH
.equals(DotAttributes._getType(dot.getGraph()))) {
zestEdgeTargetDecoration = DotArrowShapeDecorations
.getDefault(arrowSize, true);
}
After Change
// use the default arrow head decoration in case the graph is
// directed
if (GraphType.DIGRAPH.equals(DotAttributes
._getType(dot.getGraph().getRootGraph().getRootGraph()))) {
zestEdgeTargetDecoration = DotArrowShapeDecorations
.getDefault(arrowSize, true);
}